Derivation for Efficiency of Otto cycle